Buy Used and New Donald Sannella Books

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540753339

Format: Paperback (339 pages)
Publisher: Springer
Published: 22 Nov 2007

Save for later

Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)

by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella

ISBN 13: 9783540540601

Format: Paperback (100 pages)
Publisher: Springer
Published: 26 Jun 1991

Save for later

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers (Lecture Notes in Computer Science)

by Andrzej Tarlecki, Donald Sannella

ISBN 13: 9783540503255

Format: Paperback (276 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later